Tertium non datur Tertium non datur